A traditional aspect of model theory has been the interplay between formal languages and mathematical structures. This dissertation is concerned, in particular, with the relationship between the languages of relevant logic and Routley-Meyer models. One fundamental question is treated: what is the expressive power of relevant languages in the Routley-Meyer framework? In the case of finitary relevant propositional languages, two answers are provided. The first is that finitary propositional relevant languages are the fragments of first order logic preserved under relevant (...) directed bisimulations. The second is that, when we restrict our attention to what can be labelled as De Morgan models, we can obtain an analogue of Lindström's theorem for finitary propositional relevant languages. Furthermore, it is shown that a preservation theorem characterizing the expressive power of infinitary relevant languages in classical infinitary languages follows as a consequence of an interpolation theorem for classical infinitary logic. In addition, algebraic characterizations of the classes of Routley-Meyer models axiomatizable in relevant propositional languages, incompactness of infinitary relevant propositional languages and the expressive power of quantificational relevant languages are discussed. A final chapter is devoted to the study of relevant languages as second order frame languages. In particular we devote our attention to the problem of which properties expressible by relevant languages are elementary and which are not. An algebraic characterization of such elementary properties together with some examples of non first order properties axiomatizable in relevant logic are given. Finally, a Sahlqvist-van Benthem algorithm showing that relevant formulas with a certain syntactic form express calculable first order properties at the level of frames is established. (shrink)

This paper shows the brain correlates of Cloninger’s personality model during the presentation of social scenarios under positive or negative valence situations. Social scenarios were constructed when participants played the Dictator game with two confederates that had two opposites roles as the cooperator and non-cooperator. Later the same day during a fMRI scanning session, participants read negative and positive situations that happened to confederates in the past. Participants were asked to think “how do you think those people felt during that (...) situation?” A dissimilarity matrix between stimuli were obtained from fMRI results. Results shown that Harm Avoidance trait people make use of right middle frontal gyrus and left superior frontal gyrus to discriminate between Coop and NoCoop. Cooperation as a trait makes use of the right superior temporal gyrus and the right precuneus to discriminate between Coop and NoCoop in positive social scenarios. Finally, Self-directedness trait people make use of the right inferior parietal lobe to discriminate between Coop and NoCoop in negative social scenarios and the right precuneus to discriminate between Coop and Strangers. An intuitive link between discrimination findings and behavioral patterns of those personality traits is proposed. (shrink)

Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be (...) a cactus graph of $G$ containing a maximal number of independent cycles, and let $\overline{T}=-E)$ be a subset of frond edges from $G$. The clauses in $\overline{T}$ are ordered in connected components $\{K_1, \ldots, K_r\}$. Each $, i=1,\ldots,r$ is a knot of the graph. The arrangement of the clauses of $\overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $\sharp $2Sat in an incremental way. Our procedure has a bottom-up orientation for the computation of $\sharp $2Sat. It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i \in \overline{T}$ is considered in order to form $F_i = $ and then to compute $\sharp $2Sat$$ based on the computation of $\sharp $2Sat$$. (shrink)

In this note, the problem of tracking random references and rejecting random perturbations in a quadrotor, both generated by an auxiliary system named exosystem, is solved by extending the deterministic tracking problem to the area of stochastic processes. Besides, it is considered that only a part of the state vector of the quadrotor is available through measurements. As a consequence, the state vector of the plant must be estimated in order to close the control loop. On this basis, a controller (...) to track random references and to reject random perturbations is developed by combining a Kalman filter to estimate the references and perturbations of an exosystem and an observer to estimate the states of a quadrotor. Besides, to obtain a more practical controller, the analysis is carried out in discrete time. Numerical simulations are used in a quadrotor to confirm the validity and effectiveness of the proposed control. (shrink)

El objetivo fundamental del presente artículo es la configuración de una constelación de ficciones delirantes en la literatura latinoamericana contemporánea, a partir de la conceptualización del delirio literario y el análisis del proceso de construcción del relato delirante. Dado que, algunos narradores latinoamericanos despliegan ficciones delirantes en nuestros días, y existe un amplio número de casos, en donde el delirio se evidencia en la literatura de nuestro continente, autores como: Mario Bellatin, Roberto Bolaño, Rita Indiana Hernández, Horacio Castellanos Moya, (...) Cristina Rivera Garza, entre otros. Por consiguiente, se centrará la atención en la creación de una base crítica para la interpretación del delirio de algunos personajes de la literatura latinoamericana contemporánea, como un constructo cultural que transgrede el orden social, y es asumido como resistencia y articulación de una praxis creativa. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} The current political, economic and social processes that appear as symptoms of the new World order organization attempt to take account by Antoni Negri and Michael Hardt in their book Empire. The power, now is in transnational (...) and supranational organisms hands. The new power is decentralized, deterritorialized and its con fi gured as a network. In this sense, capital is imposed over any constraint that prevents from its global expansion. In sum, capital organise its territory as a “non place”. Meanwhile this new world is organized certain practices arise in order to subvert it. Inmaterial labor political proposal implies the reappropiation of the control over the space by the multitude: to build a “new place” in the “non place”. (shrink)

KOINONIA/ASETT MINGA/MUTIRÃO DE REVISTAS DE TEOLOGIA LATINO-AMERICANAS Teología de la Liberación y movimiento ecuménico: breve reflexión desde una práctica (Liberation Theology and ecumenical movement: a brief reflection from praxis).

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

This study examines the relationship between cooperative business relations in small businesses and environmental protection, one of the most important policies of social responsibility in manufacturing. We reviewed the literature and carried out an empirical study of 930 small manufacturing firms in Spain. Results indicate that small businesses that maintain and improve their cooperative relations through business networking with universities, competitors, suppliers and customers spend more on environmental protection. The managerial, practical, research and policy implications of the obtained research findings (...) are discussed. (shrink)

The complex societal challenges of the twenty-first Century require scientific researchers and academically educated professionals capable of conducting scientific research in complex problem contexts. Our central claim is that educational approaches inspired by a traditional empiricist epistemology insufficiently foster the required deep conceptual understanding and higher-order thinking skills necessary for epistemic tasks in scientific research. Conversely, we argue that constructivist epistemologies provide better guidance to educational approaches to promote research skills. We also argue that teachers adopting a constructivist learning theory (...) do not necessarily embrace a constructivist epistemology. On the contrary, in educational practice, novel educational approaches that adopt constructivist learning theories often maintain traditional empiricist epistemologies. Philosophers of science can help develop educational designs focused on learning to conduct scientific research, combining constructivist learning theory with constructivist epistemology. We illustrate this by an example from a bachelor’s program in Biomedical Engineering, where we introduce conceptual models and modeling as an alternative to the traditional focus on hypothesis testing in conducting scientific research. This educational approach includes the so-called B&K method for constructing scientific models to scaffold teaching and learning conceptual modeling. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

El presente artículo aborda los engranajes entre escritura y ciudadanía que plantea el poemario de Elvira Hernández, Estado de sitio. Para ello, considera los factores de orden sociocultural que acompañaron su producción, circulación y recepción crítica, en el contexto del estallido social de octubre 2019 en Chile, la coyuntura feminista y el actual proceso constituyente. Hitos de nuestra historia reciente frente a los cuales la poeta se posiciona ética y estéticamente desde una concepción política de la palabra como litigio, (...) esto es, una disputa –discursiva y social– por la enunciación de (en) lo común. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

Recent descendants of David Lewis, such as Stephen Torre, Dilip Ninan, and Dirk Kindermann have utilized multi-centered propositions, which are roughly sets of possible worlds centered on a sequence of individuals, to characterize the content of attitudes. In an attempt to explain counterfactual attitudes such as wishing and imagining, Ninan (2012, 2013) developed a more fine-grained characterization of multi-centered propositions than others in the multi-centered camp. While Ninan provides a systematic explanation of the nature of de se attitudes (attitudes one (...) expresses with first-person pronouns like ‘I’ or ‘me’), the nature of other types of indexical attitudes (attitudes one expresses with indexical terms like ‘you,’ ‘today,’ ‘now,’) is not explored. This paper does two things. First, it demonstrates how we can account for indexical attitudes within Ninan’s framework. This, however, has the consequence of generating propositions of limited accessibility of sorts, which in turn conflict with a received and simple model of linguistic communication. According to this simple model, successful communication consists of the transmission of mental content from speaker to hearer. Second, in light of this conflict, the paper proposes an adjustment to Ninan’s theory in order to avoid commitment to propositions of limited accessibility, and thus preserve the shareability of attitudinal content from speaker to hearer. (shrink)

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

ABSTRACT This article interprets a recently recovered manuscript, Tratado de astronomía y la reformaçión del tiempo, composed by Antonio Sánchez in New Granada c.1696, in the context of the Spanish and Renaissance cosmographies. Sánchez’s Tratado proposes a spherical astronomy, in which celestial bodies – including comets — move in orbs containing pyramidal knots that explain the changing speed observed in the motion of planets. From this astronomy and following the peninsular style of repertorios, Sánchez derives two major conclusions: the corrected (...) length of the solar year and a revised birth date of Jesus. Taking as center of reference Vélez, where Sánchez was based, these claims led to conclusions in domains ranging from calendric astronomy to eschatology, including the incorporation of the indigenous peoples into salvation narrative and a demonstration of the arrangement of the celestial orbs at the Last Judgment. Sánchez’s Tratado constitutes an expansion of the Spanish mathematical cosmography that sheds light on the production of knowledge in the Spanish-American world and, at the same time, provides elements to reassess our understanding of the global circulation of Renaissance and early modern ideas. (shrink)

Erudition as a cultist topic and style, recreated in countless traditional sources, helps Colombian writer R. H. Moreno-Durán to establish a delicate equilibrium between the parodic forms of linguistics research and the recreational contents that reflect the thinking conscience of men and the dialogic sphere of their existence. All these elements are present in his novel, El toque de Diana (Diana’s touch) and are conjugated to the theoretical contribution of Mijail Bajtín, and they make it possible to explain the exploration (...) of a fictional legacy that depends on the willful language of its characters to metaphorize the unfinished and multifaceted character of a violent society, in continuous crisis, such as the Colombian society. (shrink)

ABSTRACTImmigrant origin children and youth are now, and will continue to be, a diverse and demographically important segment of all post-industrial nations’ populations. In order to realize their potential, receiving contexts will need to find effective ways to integrate them into the fabric of their society. Using an ethic of care approach, we must begin by taking a comprehensive perspective on integration, which incorporates both a risk and resilience framework and an ecological perspective. A number of practices have emerged that (...) have promise for positive implications for the schooling performance and educational integration of immigrant students These practices include 1 – short-term newcomer programs; 2 – specialized services for Students with Interrupted Formal Education; 3 – sustained services focused on new language development; 4 – services focused on heritage language development; 5 – providing explicit college pathway knowledge; 6 – summer and after-school academic enrichment programs; 7 – facilitating parental involvement ; and 8 – advisory groups, after-school academic supports, mentoring and health services, and postsecondary supports. Providing the kinds of ecologies of care outlined here will go a long way toward helping these children and youth thrive and become the kinds of contributing members to their new society that will serve our collective future well. (shrink)

We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.

Excelente iniciativa de publicar escritos éditos e inéditos de José Torres Orozco, uno de los últimos representantes del positivismo en México. Juan Hernández Luna presenta los aspectos biográficos del autor como su posición dentro del positivismo mexicano. Es de interés señalar que entre los escritos filosóficos hay varios dedicados a Nietzche. Entre los psicológicos, uno de 1922 se ocupa de Freud"--Handbook of Latin American Studies, v. 58.

This work analyzes and characterizes the spread of the COVID-19 disease in Mexico, using complex networks and optimization approaches. Specifically, we present two methodologies based on the principle of the rupture for the GC and Newton's law of motion to quantify the robustness and identify the Mexican municipalities whose population causes a fast spread of the SARS-CoV-2 virus. Specifically, the first methodology is based on several characteristics of the original version of the Vertex Separator Problem, and the second is based (...) on a new mathematical model. By solving VSP, we can find nodes that cause the rupture of the giant component. On the other hand, solving the NLM can find more influential nodes for the entire system’s development. Specifically, we present an analysis using a coupled social network model with information about the main characteristics of the contagion and deaths caused by COVID-19 in Mexico for 19 months. This work aims to show through the approach of complex networks how the spread of the disease behaves, and, thus, researchers from other areas can delve into the characteristics that cause this behavior. (shrink)

O artigo – desde uma perspectiva da educação como direito humano universal que reconhece a diversidade – realiza um recorrido panorâmico por uma série de dimensões da educação intercultural no ensino superior do Chile, especialmente universitária, discute criticamente a situação atual da interculturalização na universidade – entendida genericamente – e conclui com algumas perguntas que podem orientar pesquisas ou decisões que levem a que o ensino superior considere os direitos indígenas, permita a expressão de sua cultura, promova a interculturalidade, forme (...) os técnicos e profissionais que requerem o desenvolvimento da sociedade e das comunidades e enriqueça a docência e a ciência com outros paradigmas de conhecimento. Desse modo, que reconheça e valide a interculturalidade e os aportes das culturas indígenas a sua identidade, formação e produção de conhecimento. Trata das comunidades e dos estudantes indígenas em geral, mas aprofunda a situação desde o povo mapuche, embasando-se em projetos de pesquisa e desenvolvimento e em experiências em e desde a Região da Araucanía. A proposta se centra na ideia de que o direito à educação, desde a lei e inconstitucionalidade atual, se centra no sistema escolar formal de ensino básico e médio e não considera a educação superior ou a um sistema de educação continuado como direito universal, no qual poderia se especificar uma condição especial aos estudantes indígenas. Por isso, hoje se luta pela igualdade de oportunidades de inclusão entre indígenas e não indígenas. Palavras-chave: Ensino Superior. Interculturalidade. Cultura mapuche. (shrink)